theory of computation meaning in Chinese
计算理论
理论计算机科学
算理
Examples
- He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英国bristol university颁发的数理逻辑和计算理论的理学硕士学位。 - Description : introduction to the theory of computation provides a mathematical treatment of computation theory grounded in theorems and proofs
描述： 《计算理论引导》用数学的手段，以定理和证明为基础，向大家介绍了计算理论。 - In recognition of his fundamental contributions to the theory of computation , including the complexity - based theory of pseudorandom number generation , cryptography , and communication complexity
因在计算理论方面的贡献而获奖。包括伪随机数的生成算法、加密算法和通讯复杂性。 - The dissertation discusses some theories of computation including the unit stiff matrix of the spatial member in the local coordinates ， the coordinate transformation , the integration of the integer stiff matrix ， the equivalent joint load ， the introduction of the boundary condition ， the computation of the unit internal force and support reaction ， the stableness of the spatial stiff frame . the dissertation also discusses the methods of dealing with several unusual problems such as combined structure , temperature stress ， elastic bearing
本文论述了空间杆件局部坐标单元刚度矩阵、坐标转换、整体刚度矩阵的集成、等效结点荷载、边界条件的引入、单元内力与支座反力计算、空间刚架稳定的计算理论，以及组合结构、温度内力、弹性支承等几个特殊问题的处理方法。 - Abstract : based on the fundamental theory of computation of the cable - prestressed steel trusses established in paper 1 , the iterative perturbation formulas which inversively determine the stiffenesses of elements of steel trusses and cables with the restraint of vertical displacements of the truss are put forward on matrix perturbation principle
文摘:基于文1所建立的拉索式予应力钢桁架基本计算理论，根据矩阵摄动原理进一步给出了以竖向结点位移为约束反演确定任意布索张拉予应力钢桁架单元刚度和拉索刚度的摄动迭代公式。